منابع مشابه
Fairness for Transactional Events
Transactional events are a recent concurrency abstraction that combines first-class synchronous message-passing events with allor-nothing transactions. While prior work gave a semantics and an implementation for transactional events, it provided no guarantees about which of the many non-deterministic executions might be exhibited by a program. For concurrent systems, like transactional events, ...
متن کاملProgramming Idioms for Transactional Events
Abstract Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE’s formal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, w...
متن کاملTransactional Events : Technical Appendix ∗
Lemma 11 If {〈θ1, e1〉, . . . , 〈θk, ek〉} {〈θ1, e1〉, . . . , 〈θk, ek〉} according to the semantics of Figure 3, the set of trails {〈θ1, ρ1〉, . . . , 〈θk, ρk〉} is committable, and P is a set of search threads, each with a thread identifier in {θ1, . . . , θk}, then {〈θ1, e1, ρ1〉, . . . , 〈θk, ek, ρk〉}]P −→ {〈θ1, e1, ρ1〉, . . . , 〈θk, ek, ρk〉}]P ′ according to the semantics of Figure 9, the set of ...
متن کاملFunctional Programming 1 Transactional Events : Technical Appendix ∗
Lemma 11 If {〈θ1, e1〉, . . . , 〈θk, ek〉} {〈θ1, e1〉, . . . , 〈θk, ek〉} according to the semantics of Figure 3, the set of trails {〈θ1, ρ1〉, . . . , 〈θk, ρk〉} is committable, and P is a set of search threads, each with a thread identifier in {θ1, . . . , θk}, then {〈θ1, e1, ρ1〉, . . . , 〈θk, ek, ρk〉}]P − → {〈θ1, e1, ρ1〉, . . . , 〈θk, ek, ρk〉}]P ′ according to the semantics of Figure 9, the set of...
متن کاملMulti-Parent Subtransactions Covering the Transactional Needs of Composite Events
Rule-based (re)active systems are a commonly accepted solution in the area of nonstandard applications in order to express an event-driven and constraint-driven system environment. Several attempts have been made to integrate active concepts into object-oriented databases and to extend active knowledge models to gain more and more expressive power and flexibility. Unfortunately, execution model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2008
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1411203.1411222